top_command (cmd_load currentFile ["-i.", "-i.."])
top_command (cmd_load currentFile ["-i.", "-i.."])
-- Issue #4647: These should no longer give in scope errors:
top_command (cmd_infer_toplevel Normalised "unused")
top_command (cmd_infer_toplevel Normalised "used")
top_command (cmd_infer_toplevel Normalised "Private.not-in-scope")
-- These should return "Bool"
top_command (cmd_infer_toplevel Normalised "true")
top_command (cmd_infer_toplevel Normalised "in-scope")
